Default logic

Results: 67



#Item
41Science / Non-monotonic logic / Modal logic / Temporal logic / Argument / Default logic / Formal verification / Logic / Non-classical logic / Mathematical logic

From: AAAI Technical Report FS[removed]Compilation copyright © 1993, AAAI (www.aaai.org). All rights reserved. VACUUM-LOGIC Jennifer J. Elgot-Drapkin* Department of Computer Science and Engineering Box[removed]

Add to Reading List

Source URL: www.aaai.org

Language: English - Date: 2006-01-11 02:42:00
42Proof theory / Logic in computer science / Automated theorem proving / Propositional calculus / Logical syntax / Frege system / Sequent / Proof calculus / Proof complexity / Logic / Mathematical logic / Theoretical computer science

Proof complexity of propositional default logic

Add to Reading List

Source URL: eprints.whiterose.ac.uk

Language: English - Date: 2014-06-05 13:45:53
43Conflict of contract laws / Contract / Default logic / Futures contract / Complete contract / Default / Fiduciary / Credit default swap / Law / Contract law / Default rule

W The Yale Law Journal Filling Gaps in Incomplete Contracts: An Economic Theory of Default Rules by

Add to Reading List

Source URL: islandia.law.yale.edu

Language: English - Date: 2005-11-07 14:34:17
44Swimming pools / Building engineering / Plumbing / Heating /  ventilating /  and air conditioning / Swimming pool / Thermostat / Hot tub / Solar water heating / Heater / Recreation / Architecture / Outdoor recreation

Pro Logic Programming Flow Chart default menu settings menu spa heater1 temperature

Add to Reading List

Source URL: www.hayward-pool.com

Language: English - Date: 2012-09-07 16:44:00
45Building engineering / Swimming pools / Heating /  ventilating /  and air conditioning / Plumbing / Swimming pool / Thermostat / Solar water heating / Hot tub / Heater / Recreation / Architecture / Technology

Pro Logic Programming Flow Chart default menu settings menu spa heater1 temperature

Add to Reading List

Source URL: www.hayward-pool.com

Language: English - Date: 2012-09-10 09:10:22
46

Logic Model for the Scale-Up of Reading Recovery http://www.cpre.org/sites/default/files/other/1489_rrexecsummary.pdf Copyright August[removed]Consortium for Policy Research and Evaluation (CPRE). All rights reserved. So

Add to Reading List

Source URL: ehe.osu.edu

- Date: 2013-11-13 10:30:32
    47ISO standards / Enumeration / Mathematical logic / Enumerated type / C Sharp / Annotation / Computing / Software engineering / Computer programming

    Procurement Data Standard – Annotation & Enumeration List 22 May 2008 Schema PDS_2008-0522.xsd schema location: attribute form default:

    Add to Reading List

    Source URL: www.acq.osd.mil

    Language: English - Date: 2008-06-23 13:57:01
    48Reasoning / Knowledge representation / Non-monotonic logic / Default logic / Entailment / Default / Logic / Non-classical logic / Logic programming

    Closed World Reasoning Yulia Levin Today : ƒ Introduction: Default reasoning, Monotonic vs. Non-monotonic reasoning, Closed world

    Add to Reading List

    Source URL: www.cs.tau.ac.il

    Language: English - Date: 2007-12-29 16:13:42
    49Knowledge / Logical consequence / Non-classical logic / Defeasible reasoning / Default logic / Non-monotonic logic / Argument / Inference / Defeasible logic / Logic / Reasoning / Science

    CONTENTS HENRY PRAKKEN & GERARD VREESWIJK Logics for Defeasible Argumentation 1 INTRODUCTION . . . . . . . . . . . . . . . . . . . . . . . . . . .

    Add to Reading List

    Source URL: www.cs.uu.nl

    Language: English - Date: 2000-10-24 08:40:15
    50Non-classical logic / Modal logic / Artificial intelligence / Autoepistemic logic / Stable model semantics / Negation as failure / Default logic / Non-monotonic logic / Fuzzy logic / Logic / Mathematical logic / Logic programming

    Fuzzy autoepistemic logic and its relation to fuzzy answer set programming Marjon Blondeela,1 , Steven Schockaertb , Martine De Cockc , Dirk Vermeira a Vrije Universiteit Brussel, Department of Computer Science, Pleinla

    Add to Reading List

    Source URL: www.cwi.ugent.be

    Language: English - Date: 2014-02-28 16:30:28
    UPDATE